 @include "lib.awk"
 BEGIN   { IGNORECASE= 1; CONVFMT="%.12g"; }
 NR==1   { resetSeed() } 
 /@data/ { In=1 }
 /@/     { Header= Header "\n" $0 ;next }
 In      { Item[rand()]=$0 }
 END     { print Header;
           for(I in Item) 
               print Item[I] }
